#include "isr.h"

#include <kstd.h>
#include <stdio.h>


void isr_handler(void)
{
  printf("Received interrupt: %u\n", 42);
}

void isr_handler_err(void)
{
  printf("Received EEEEEEEEEEEERREE  PANIC PANIC terrupt:\n");
  while (1)
    __asm__ ("hlt\n\t");
}

